Fairbairn, Canberra

Results: 11



#Item
11Engineering with Logic: Rigorous Specification and Validation for TCP/IP and the Sockets API STEVE BISHOP, University of Cambridge1 MATTHEW FAIRBAIRN, University of Cambridge1 MICHAEL NORRISH, NICTA, Canberra TOM RIDGE,

Engineering with Logic: Rigorous Specification and Validation for TCP/IP and the Sockets API STEVE BISHOP, University of Cambridge1 MATTHEW FAIRBAIRN, University of Cambridge1 MICHAEL NORRISH, NICTA, Canberra TOM RIDGE,

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2013-01-27 05:11:42